{
 read (x);
 write (x+3)
}
